1. Integrated Formal Methods
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,System design -- Congresses,روشهای صوری (کامپیوتر) -- کنگرهها,طراحی سیستم -- کنگرهها
رده :
E-Book
,